Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
731	Tutorial: Modeling, Verification, and Synthesis of Embedded Control Software Samarjit Chakraborty† ∗ Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Pharmaceutical industry Validity Systems engineering Simulation software Application software Simulink Verification and validation Model checking Software development process Formal methods Science Software
732	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
733	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 Add to Reading List Source URL: users.crhc.illinois.edu Language: English - Date: 2014-10-11 16:40:07 Hybrid automaton Model checking DREAM Theorem Proving in Higher-Order Logics Orc Computer science Applied mathematics Theoretical computer science Formal methods Automata theory
734	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-22 23:04:08 Markov models Model checking Markov chain Probabilistic automaton Economic model Probabilistic logic Probability Statistics Automata theory
735	NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:41:53 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type Model checking C FALSE Computing Software engineering Software
736	Microsoft PowerPoint - biswas-testbeds-kickoff-itr[2].ppt Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Model-based design Embedded system Model checking Windows Installer System Simulation System software Software Control engineering
737	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:52:00 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
738	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
739	NuSMV 2.2 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:53:02 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type C Model checking FALSE Computing Software engineering Software
740	NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:14:57 Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering

UPDATE